Model category - PDFSEARCH.IO - Document Search Engine

Model category
Results: 346

#	Item
271	ANNEX 7 Call for tenders PO[removed]INF/NIC MODEL INVOICE MONTH: .......................................... Category Add to Reading List Source URL: ec.europa.eu Language: English - Date: 2013-10-04 07:42:50
272	A MODEL STRUCTURE FOR THE HOMOTOPY THEORY OF CROSSED COMPLEXES Ronald BROWN and Marek GOLASINSKI∗ Abstract ` des complexes de chaˆıne mais avec les propri´et´es nonLes complexes crois´es sont analogues a Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2007-05-28 06:24:21 Mathematics Category theory Model category Groupoid Crossed module Weak equivalence Homotopy group Fibration Fibrant object Homotopy theory Abstract algebra Topology
273	Symmetry in Concurrent Games Simon Castellan Pierre Clairambault Ecole Normale Sup´erieure de Lyon, France Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-02-05 12:42:48 Model theory Category theory Differential topology Algebraic structures Semigroup theory Embedding Symmetry Monoid Structure Mathematics Abstract algebra Algebra
274	CONDITIONS FOR INTEROPERABILITY Nick Rossiter School of Informatics, Northumbria University, NE1 8ST, UK Email: [removed] Michael Heather Northumbria University, NE1 8ST, UK Email: [removed] Add to Reading List Source URL: computing.unn.ac.uk Language: English - Date: 2005-02-01 06:02:02 Higher category theory Adjoint functors Diagram Natural transformation Limit Data model Initial and terminal objects Sheaf Topos Category theory Abstract algebra Functors
275	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-10-22 10:36:57 Abstract algebra Category theory Probability theory Differential topology Embedding General topology Adjoint functors Functor Structure Mathematics Topology Model theory
276	Voevodsky’s Univalence Axiom in homotopy type theory ´ Steve Awodey, Alvaro Pelayo and Michael A. Warren Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Abstract algebra Homotopy type theory Homotopy group Homotopy Model category Vladimir Voevodsky Mathematical logic Type theory Out Homotopy theory Topology Mathematics
277	Higher Categories from Type Theories PhD thesis Peter LeFanu Lumsdaine Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Mathematical logic Metaphilosophy Categorical logic Theoretical computer science Category theory Model theory Type theory Proof theory Metalogic Logic Higher category theory
278	INTRODUCTION TO THE UNIVALENT FOUNDATIONS OF MATHEMATICS CONSTRUCTIVE TYPE THEORY AND HOMOTOPY STEVE AWODEY CARNEGIE MELLON UNIVERSITY Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Mathematics Groupoid Homotopy type theory Homotopy Model category Fundamental group CW complex Category theory Homotopy theory Topology Abstract algebra
279	Homotopy Theoretic Aspects of Constructive Type Theory Michael Alton Warren August 2008 Carnegie Mellon University Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Mathematics Topology Algebraic topology Higher category theory Model category Groupoid Simplicial set Alexander Grothendieck Model theory Abstract algebra Homotopy theory Category theory
280	RIGIDITY THEOREMS IN STABLE HOMOTOPY THEORY CASE FOR SUPPORT 1. Track Records Andrew Baker was awarded a Ph.D. from the University of Manchester in[removed]He spent 11 years in a succession of postdoctoral positions in Can Add to Reading List Source URL: sarah-whitehouse.staff.shef.ac.uk Language: English - Date: 2006-10-20 07:01:03 Algebraic topology Morava K-theory Spectrum Cohomology Homotopy group Homotopy category Model category Adams spectral sequence Stable homotopy theory Topology Abstract algebra Homotopy theory

UPDATE